gluon_base::types
pub fn instantiate<F>(typ: ArcType, f: F) -> ArcType where F: FnMut(&Generic<Symbol>) -> Option<ArcType>