Check failed: 
checkMapMaybe failed without a helpful error message
