Interface Foo interface Parameters: t -- some parameter Constraints: Eq t Methods: m : Foo t => t member of interface The function is: Total & public export Implementations: