Dima

My current level: ∀ f. Functor f ⇒ a → (a → f b) → s → f t