Agda.TypeChecking.Rules.Builtin.Coinduction
typeOfInf
typeOfSharp
typeOfFlat
bindBuiltinInf
bindBuiltinSharp
bindBuiltinFlat