module Main (main) where

happyThen :: P a