{-# htermination return :: a -> [] a #-}