Func Prog Sweden - Building a typechecker - haskell | Upit