pakoito
fun <F, A> bla(F: Functor<F>,fa: Kind<F, A>, f: (A) -> A) = F.run { whatever.map(f) }
A modern programming language that makes developers happier.