List.lidr 2.51 KB