Hello Tatiana,

these signatures do not look good:

main :: (Show (IO J2s)) => IO()

test :: (Show (IO J2s)) => String -> IO()

testParser :: (Show (IO J2s)) => IO()

​

constraints are used to specify type variables. IO J2s looks like * (a fixed type).

what errors do you see without these constraints?