liquidhaskell-0.8.10.7: typeclass-tests/Data/Endo.hs

{-@ LIQUID "--reflection" @-}
module Data.Endo where

{-@ data Endo a = Endo {appEndo :: a -> a} @-}
data Endo a = Endo {appEndo :: a -> a}