Nnewtypenewtype Fixpoint (m :: Type -> Type) a wherePeek#ConstructorsFixpoint :: (a -> m a) -> Fixpoint m a