ghciで複数行入力する
ghciで改行する
:{
と
:}
で囲う
code:ex.prelude
> :{
evalConstraint :: a => Proxy a -> ()
evalConstraint _ = ()
:}