miconi/lucretia — comment on commit 132bb82b00d2839427e9fdf443fe8eefaa01580a
File: interpreter/Lucretia/TypeChecker/Test.hs line 28
By mbenke:

bool int -> X1