check :: String -> String -> Bool
check terms typs = check' (tm terms) (t typs)
check :: String -> String -> Bool
check terms typs = check' (tm terms) (t typs)
check terms typs = check' (tm terms) (t typs)