How do I create a function type given any type?

[glyh]

For now the function fn_type is only implemented for several base types. But what if the type on my hand is a Box<dyn Type>? How am I suppose to create a function returning value of that type?

I wish we'd have some kind of example that has a simple type system to demonstrate the API about types