function

abstract val function: (P) -> T