Functor.lidr 280 Bytes