module Main where

infix 2 |-

ps |- q:qs = undefined

main :: IO ()
main = return ()