3549.purs

module Main where

import Prelude

import Effect.Console (log)

identity :: forall (a :: Type) . a -> a
identity x = x

map' :: forall (f :: Type -> Type) (a :: Type) (b :: Type) . Functor f => (a -> b) -> f a -> f b
map' = map

main = log "Done"