In reply to @janakali "<@263682079412191233> type classes -": Yeah, I'm
currently looking at concepts, but you cannot do something like
type Callable[Args: tuple, Ret] = concept f
  f(Args) is Ret

I'm just looking for the right syntax