Literate.lidr 38 Bytes