module Main (main, myMap) where {-# NOINLINE myMap #-} myMap = map (not `comp2` not) {-# INLINABLE comp2 #-} comp2 f g x = f (g x) main :: IO () main = pure ()